Fixed point - PDFSEARCH.IO - Document Search Engine

Fixed point
Results: 544

#	Item
201	CHAPTER 6 PolySNAP M Release Notes PolySNAP M Version 2.0.1 • Fixed an issue in countries using the comma as a decimal point Add to Reading List Source URL: www.chem.gla.ac.uk Language: English - Date: 2007-07-19 07:07:14 Software Computing Checkbox Program Files System software
202	A Methodology for Generating Verified Combinatorial Circuits ∗ Oleg Kiselyov Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2004-08-11 22:06:49 Lambda calculus Programming language implementation Digital signal processing Functional languages Computer performance Monad Fast Fourier transform FFTW Fixed-point combinator Computing Computer programming Software engineering
203	Contractive multifunctions, fixed point inclusions and iterated multifunction systems H.E. Kunze1 , D .La Torre2,3, E.R. Vrscay3 1 Department of Mathematics and Statistics, Add to Reading List Source URL: links.uwaterloo.ca Language: English - Date: 2007-07-19 13:28:24 Metric geometry Fixed points Topology Functions and mappings Fractals Contraction mapping Metric space Iterated function Convex function Geometry Mathematics Mathematical analysis
204	EEMBC® FPMARK™ THE EMBEDDED INDUSTRY’S FIRST STANDARDIZED FLOATING-POINT BENCHMARK SUITE Supporting Both Single- and Double-Precision Floating-Point Performance Add to Reading List Source URL: www.eembc.org Language: English - Date: 2013-09-25 13:06:02 Embedded systems Primitive types Computer architecture Numbers Benchmark EEMBC Coremark Floating point Fixed-point arithmetic Computer arithmetic Computing Data types
205	Combining Proofs and Programs in a Dependently Typed Language Chris Casinghino Vilhelm Sjöberg Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2014-07-10 05:47:21 Logic in computer science Lambda calculus Proof theory Deduction Models of computation Curry–Howard correspondence Entailment Combinatory logic Fixed-point combinator Theoretical computer science Logic Mathematics
206	An Optimal Algorithm for Approximate Nearest Neighbor Searching in Fixed Dimensions Sunil Arya Hong Kong University of Science and Technology, Hong Kong, David M. Mount University of Maryland, College Park, Maryland, Add to Reading List Source URL: www.cse.ust.hk Language: English - Date: 2006-04-04 05:02:45 Search algorithms Discrete geometry Data mining Information retrieval Nearest neighbor search K-d tree K-nearest neighbor algorithm Point location Voronoi diagram Information science Mathematics Geometry
207	ZU064-05-FPR rhiger-submitted 18 August 2008 Add to Reading List Source URL: www.itu.dk Language: English - Date: 2008-10-17 11:56:59 Lambda calculus Type theory Data types Functional programming Logic in computer science Pattern matching Standard ML Combinatory logic Fixed-point combinator Software engineering Theoretical computer science Computing
208	Random fixed point equations and inverse problems by collage theorem H.E. Kunze1 , D. La Torre2 , E.R. Vrscay3 1 Department of Mathematics and Statistics, Add to Reading List Source URL: links.uwaterloo.ca Language: English - Date: 2007-07-20 16:33:36 Probability space Probability theory Metric geometry Operator theory Sobolev space Limit set Mathematical analysis Mathematics Geometry
209	Terminology: Denoted and Expressed Values A denoted value is the meaning of a variable An expressed value is the result of an expression Terminology: Denoted and Expressed Values First-order functions Add to Reading List Source URL: www.cs.utah.edu Language: English - Date: 2009-02-04 16:35:18 Mathematical logic Recursion Lambda calculus Factorial Scheme Function Primitive recursive function Fixed-point combinator Mathematics Computability theory Computer programming
210	Existence and Uniqueness of a Fixed Point for the Bellman Operator in Deterministic Dynamic Programming∗ Takashi Kamihigashi† February 19, 2012 Add to Reading List Source URL: www.parisschoolofeconomics.eu Language: English - Date: 2012-12-19 15:58:44 Operator Theorems and definitions in linear algebra Mathematics Knaster–Tarski theorem Order theory

UPDATE